Nuprl Definition : es-Msgl
0,22
postcript
pdf
(Msg on
l
) == {
m
:Msg| haslink(
l
;
m
) }
latex
clarification:
es-Msgl(
es
;
l
) == {
m
:es-Msg(
es
)| haslink(
l
;
m
) }
latex
Definitions
haslink(
l
;
m
)
,
Msg
,
(Msg on
l
)
FDL editor aliases
es-Msgl
origin